Varieties generated by T-norms

We are concerned with the variety T of algebras of type (2,2,2,0,0) generated by the algebra (I,◦), where I = ([0,1],∧,∨,0,1) is the unit interval with minimum and maximum determined by the usual order and.◦ 6 = ∧ is a continuous t-norm. We have shown that a strict t-norm and a nilpotent t-norm, and in fact any continuous t-norm except minimum, generate the same variety. Moreover, this variety is not generated by any finite algebra [1,2]. However, we have not determined whether or not there is a finite set of equations that determines this variety.